Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
006B33 | Georg Gottlob [Autriche] | Second-Order Logic over Finite Structures – Report on a Research Programme |
009254 | Georg Gottlob [Autriche] ; Reinhard Pichler [Autriche] | Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models |
This area was generated with Dilib version V0.6.33. |